
type t =
    Const of Const.t
  | Id of string
  | Op of string * t list
  | Fun of string list * t
  | Apply of t * t list
  | Let of (string * t) list * t
  | LetRec of (string * t) list * t
  | If of t * t * t

